discrete math power sets